TSTP Solution File: SEV131^5 by SInE---0.4